English  |  正體中文  |  简体中文  |  2814936  
???header.visitor??? :  27325714    ???header.onlineuser??? :  740
???header.sponsordeclaration???
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
???ui.leftmenu.abouttair???

???ui.leftmenu.bartitle???

???index.news???

???ui.leftmenu.copyrighttitle???

???ui.leftmenu.link???

"lee jonathan"???jsp.browse.items-by-author.description???

???jsp.browse.items-by-author.back???
???jsp.browse.items-by-author.order1??? ???jsp.browse.items-by-author.order2???

Showing items 101-103 of 103  (5 Page(s) Totally)
<< < 1 2 3 4 5 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2020-05-04T07:59:08Z Verifying scenarios with time Petri-nets. Lee, Jonathan; Pan, Jiann-I; Kuo, Jong-Yih; JONATHAN LEE
臺大學術典藏 2020-05-04T07:59:10Z Verifying task-based specifications in conceptual graphs. Lee, Jonathan; Lai, Lein F.; JONATHAN LEE
臺大學術典藏 2019 Veritas: Shared Verifiable Databases and Tables in the Cloud. Antonopoulos, Panagiotis; Allen, Lindsay; Gehrke, Johannes; Gehrke, Johannes;Allen, Lindsay;Antonopoulos, Panagiotis;Arasu, Arvind;Hammer, Joachim;Hunter, James;Kaushik, Raghav;Kossmann, Donald;Ramamurthy, Ravi;Setty, Srinath T. V.;Szymaszek, Jakub;Renen, Alexander van;Lee, Jonathan;Venkatesan, Ramarathnam; Arasu, Arvind; Hammer, Joachim; Hunter, James; Kaushik, Raghav; Kossmann, Donald; Ramamurthy, Ravi; Setty, Srinath T. V.; Szymaszek, Jakub; Renen, Alexander van; Lee, Jonathan; Venkatesan, Ramarathnam; JONATHAN LEE

Showing items 101-103 of 103  (5 Page(s) Totally)
<< < 1 2 3 4 5 
View [10|25|50] records per page